Declare Setof porn

1 2